Safe Discord Bot Using ML

Safe-for-Space Threads in Standard ML

Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We show how these space leaks arise and give a new implementation for threads that is safe for space.

From Bot to Bot: Using a Chat Bot to Synthesize Robot Motion

We present Bot to Bot, a system for developers to write voice controlled applications in a high-level language while retaining portability over a variety of different robot hardware platforms. In this paper we describe how Bot to Bot leverages advances in natural language processing and robotic control to take a user’s voice command and translate it into a structured intent for the robot throug...

Inserting Safe Memory Reuse Commands into ML-Like Programs

We present a static analysis that estimates reusable memory cells and a source-level transformation that adds explicit memory-reuse commands into the program text. For benchmark ML programs, our analysis and transformation achieves the memory reuse ratio from 5.2% to 91.3%. The small-ratio cases are for programs that have too prevalent sharings among memory cells. For other cases, our experimen...

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

ML provides unusually powerful mechanisms for building programs from reusable modules. Such power is not available in other popular languages, and programmers accustomed to those languages have wondered if a powerful modules system is really necessary. This paper explores the power of ML modules—including higher-order functors—via an extended programming example. The example solves a problem in...

A Type-Safe Embedding of XDuce into ML